-
1 Formal Propositional Calculus
Electronics: FPCУниверсальный русско-английский словарь > Formal Propositional Calculus
-
2 пропозициональное исчисление
Русско-английский политехнический словарь > пропозициональное исчисление
-
3 исчисление высказываний
Русско-английский словарь по машиностроению > исчисление высказываний
-
4 пропозициональное исчисление
Russian-english psychology dictionary > пропозициональное исчисление
-
5 пропозициональное исчисление
Русско-английский биологический словарь > пропозициональное исчисление
-
6 исчисление высказываний
-
7 исчисление высказываний
Русско-английский математический словарь > исчисление высказываний
-
8 пропозициональное исчисление
Русско-английский синонимический словарь > пропозициональное исчисление
-
9 исчисление
calculus, computation* * *исчисле́ние с.
calculusисчисле́ние бесконе́чно ма́лых — infinitesimal calculusвариацио́нное исчисле́ние — calculus of variationsве́кторное исчисле́ние — vector calculus, vector analysisисчисле́ние вероя́тностей — calculus of probabilityисчисле́ние выска́зываний — sentential [propositional] calculusдифференциа́льное исчисле́ние — differential calculusисчисле́ние зада́ч — problem calculusинтегра́льное исчисле́ние — integral calculusлоги́ческое исчисле́ние — logical calculusма́тричное исчисле́ние — matrix calculusоперацио́нное исчисле́ние — operational calculusисчисле́ние предика́тов — predicate calculusпропозициона́льное исчисле́ние — propositional calculusрасши́ренное исчисле́ние — extended calculusспино́рное исчисле́ние — spinor calculusте́нзорное исчисле́ние — tensor calculusфункциона́льное исчисле́ние — functional calculus* * * -
10 исчисление
* * *n. calculus, computation;
исчисление высказываний - propositional calculus;
исчисление предикатов - predicate calculus;
исчисление одноместных предикатов - one-place predicate calculus;
исчисление задач - problem calculus;
чистое исчисление предикатов - pure predicate calculus;
узкое исчисление предикатов - restricted predicate calculus -
11 исчисление высказываний
-
12 исчисление высказываний
Русско-английский новый политехнический словарь > исчисление высказываний
-
13 исчисление высказываний
Русско-английский военно-политический словарь > исчисление высказываний
-
14 пропозициональное исчисление
Русско-английский большой базовый словарь > пропозициональное исчисление
-
15 векторное исчисление
-
16 исчисление
-
17 исчисление высказываний
исчисление высказываний
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > исчисление высказываний
-
18 исчисление высказываний
Русско-английский словарь по информационным технологиям > исчисление высказываний
-
19 исчисление высказываний
propositional calculus, sentential calculusРусско-английский словарь по электронике > исчисление высказываний
-
20 исчисление высказываний
propositional calculus, sentential calculusРусско-английский словарь по радиоэлектронике > исчисление высказываний
См. также в других словарях:
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
propositional calculus — Logic. See sentential calculus. [1900 05] * * * Formal system of propositions and their logical relationships. As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its… … Universalium
propositional calculus — The logical calculus whose expressions are letters representing sentences or propositions, and constants representing operations on those propositions, to produce others of higher complexity. The operations include conjunction, disjunction,… … Philosophy dictionary
propositional calculus — noun Date: 1903 the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only called also sentential calculus compare predicate calculus … New Collegiate Dictionary
propositional calculus — noun propositional logic … Wiktionary
propositional calculus — noun a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them • Syn: ↑propositional logic • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal logic … Useful english dictionary
propositional calculus — proposi′tional cal′culus n. math. pho sentential calculus • Etymology: 1900–05 … From formal English to slang
propositional calculus — /prɒpəˌzɪʃənəl ˈkælkjələs/ (say propuh.zishuhnuhl kalkyuhluhs) noun that part of modern logic which systematises the relations between unanalysed propositions …
Implicational propositional calculus — In mathematical logic, the implicational propositional calculus is a version of classical (two valued) propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by… … Wikipedia
Frege's propositional calculus — In mathematical logic Frege s propositional calculus was the first axiomatization of propositional calculus. It was invented by Gottlob Frege, who also invented predicate calculus, in 1879 as part of his second order predicate calculus (although… … Wikipedia
implicational propositional calculus — noun A minimalist version of propositional calculus which uses only the logical connectives ( implies ) and ( false ) … Wiktionary